nLab Francis Sergeraert

• webpage

Selected writings

On the Kenzo software for computations in constructive algebraic topology:

• Julio Rubio, Francis Sergeraert, Yvon Siret: KENZO – a Symbolic Software for Effective Homology Computation (1999) [pdf]

On constructive methods in algebraic topology (constructive algebraic topology):

• Julio Rubio, Francis Sergeraert, Constructive Algebraic Topology, Bulletin des Sciences Mathématiques

  126 5 (2002) 389-412 [arXiv:math/0111243, doi:10.1016/S0007-4497(02)01119-3]

On simplicial homotopy theory:

• Francis Sergeraert, Introduction to Combinatorial Homotopy Theory, 2008 (pdf, pdf)

On effective homology:

• Francis Sergeraert, Effective homology, a survey (pdf)

On Cohomotopy-sets in computational topology:

• Martin Čadek, Marek Krčál, Jiří Matoušek, Francis Sergeraert, Lukáš Vokřínek, Uli Wagner, Computing all maps into a sphere, Journal of the ACM, Volume 61 Issue 3, May 2014 Article No. 1 (arxiv:1105.6257)

On homological algebra in constructive mathematics:

• Julio Rubio, Francis Sergeraert, Constructive homological algebra and applications [arXiv:1208.3816]

category: people